Revision theory - PDFSEARCH.IO - Document Search Engine

Revision theory
Results: 359

#	Item
51	fa_phelps_december 2011 revision.dvi Add to Reading List Source URL: www.rogerfarmer.com Language: English - Date: 2011-12-06 00:05:34 Unemployment New Keynesian economics Keynesian economics Phillips curve Business cycle Macroeconomic model General equilibrium theory Edmund Phelps Inflation Economics Macroeconomics Economic theories
52	Microsoft Word - F-BRIDGE - D221 - revision 0 - Assessment of atomistic modeling methods - v8 validated.doc Add to Reading List Source URL: www.f-bridge.eu Language: English - Date: 2013-04-23 06:24:59 Quantum chemistry Computational chemistry Density functional theory Atomic physics Hybrid functional Ab initio quantum chemistry methods Molecular dynamics Local-density approximation Jellium Chemistry Physics Theoretical chemistry
53	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
54	Microsoft Word - QIS4 Best Estimate Valuation Tool - explanatory note to revision.doc Add to Reading List Source URL: eiopa.europa.eu Language: English - Date: 2015-05-05 06:02:15 Simultaneous equation methods Estimation theory Parametric statistics Standard error Regression analysis Econometrics
55	Microsoft Word - F-BRIDGE - D131 - revision 1 - Cluster Expansion Model for UPuC and UPuO - validated.doc Add to Reading List Source URL: www.f-bridge.eu Language: English - Date: 2013-04-23 06:25:45 Carcinogens Plutonium Carbide Chemical element Ab initio quantum chemistry methods Oxide Density functional theory Chemistry Anions Actinides
56	PDF Document Add to Reading List Source URL: www.nuclearfiles.org Language: English - Date: 2005-12-01 19:27:07 International relations Nuclear warfare Writing Cold War International security Essay Revision Nuclear proliferation Deterrence theory Military science Nuclear weapons Nuclear strategies
57	Microsoft Word - F-BRIDGE - D122 - revision 0 - Electronic structure investigation of bulk actinide carbides - validated.docx Add to Reading List Source URL: www.f-bridge.eu Language: English - Date: 2013-04-23 06:25:54 Actinides Nuclear materials Chemical elements Density functional theory Nuclear reprocessing Hybrid functional Crystal Nuclear fuel Strongly correlated material Chemistry Physics Matter
58	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
59	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming
60	Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande Abhaya C. Nayak Maurice Pagnucco∗ School of CSE School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:38:27 Knowledge representation Interpretation Constructible universe Entailment Linear temporal logic Μ operator Logic Model theory Belief revision

UPDATE